This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to Montague's intentional logic. It covers all the major aspects, including set theory, pr...(展开全部)

Linguistic Semantics: An Introduction is the successor to Sir John Lyons' important textbook Language, Meaning and Context (1981). While preserving the general structure of the earlier book, the author has substantially expanded its scope to introduce several topics that were not previously discussed, and to take account of new developments in linguistic semantics over the past...(展开全部)

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the lang...(展开全部)

Written to address the fundamentals of formal languages, automata, and computability, An Introduction to Formal Languages and Automata provides an accessible, student-friendly presentation of all material essential to an introductory Theory of Computation course. It is designed to familiarize students with the foundations and principles of computer science and to strengthen the...(展开全部)

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proof...(展开全部)

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proof...(展开全部)

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of th...(展开全部)

This self-contained introduction to natural language semantics addresses the major theoretical questions in the field. The authors introduce the systematic study of linguistic meaning through a sequence of formal tools and their linguistic applications. Starting with propositional connectives and truth conditions, the book moves to quantification and binding, intensionality and...(展开全部)